1. ......................
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Microsoft Office,، Microsoft Windows )Computer file(,، Integrated software,Windows )PC operating system(
رده :
QA
76
.
76
.
I57
M49
1995
2. ......................
پدیدآورنده: Halvorson, Michael.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Integrated software,Microsoft Office for Windows,Microsoft Windows 59
رده :
QA
76
.
I57
H35
1995
3. <A> Simple guide to office xp
پدیدآورنده: Manon Cassade
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Microsoft office xp,Integrated software
رده :
HF
,
5548
.
4
,.
M52S23
4. Advances in hardware design and verification
پدیدآورنده: ^bInternational conference on correct hardware and verification methods. Montreal, canada 16-18 October 1997
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Integrated circuits- Verification ► Computer software- Verification
رده :
621
I61a
5. Algebra, geometry, and software systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebra-- Computer programs,، Geometry-- Computer programs,، Integrated software
رده :
QA
155
.
7
.
E4
.
A53
2003
6. Beginning OpenOffice 3
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: OpenOffice.org (Electronic resource) ; OpenOffice.org (Electronic resource) ; sears. ; Integrated software. ; Integrated software. ; sears. ; Business ; Computer software. ; sears. ;
7. Beginning OpenOffice 3
پدیدآورنده: / Andy Channelle
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: OpenOffice.org (Electronic resource),OpenOffice.org (Electronic resource)--sears,Integrated software.,Integrated software.--sears,Business--Computer software.--sears
رده :
QA
,
76
.
76
,.
I57
,
C48
,
2009
8. Beginning OpenOffice 3.0 :
پدیدآورنده: Andy Channelle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: OpenOffice.org (Electronic resource),Integrated software
رده :
QA76
.
76
.
I57
C43
2009
9. Brief Microsoft Office 2000 Professsional
پدیدآورنده: Robert T. Grauer, Maryann Barber
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Microsoft Office,، Integrated software
رده :
QA
76
.
76
.
I57G7
10. Co-verification of hardware and software for ARM SoC desig
پدیدآورنده: / by Jason R. Andrews
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification,Computer software--Verification,Systems on a chip.
رده :
TK
,
7874
,.
A595
,
2005eb
11. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: Andrews, Jason R.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
12. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
13. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
14. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification,Computer software -- Verification,Systems on a chip
رده :
TK
7874
.
A595
15. Complete computer concepts and Windows Applications
پدیدآورنده: Gary B. Shelly ... [et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computers,Integrated software,Microsoft works for windows
رده :
QA
،
76
.
76
،.
I57
,
C661994
16. Complete guide to microsoft Excel macros
پدیدآورنده: / Charles W. Kyd, Chris Kinata,Kyd
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Integrated Software,Microsoft Excel (Computer program)
رده :
QA
76
.
76
.
I57K83
1992
17. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده: G. v. Bochmann, D.K. Probst, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
18. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
19. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده: Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
20. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده: Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
